FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1551377873> ?p ?o ?g. }

• W1551377873 abstract "Readings in Artificial Intelligence focuses on the principles, methodologies, advancements, and approaches involved in artificial intelligence. The selection first elaborates on representations of problems of reasoning about actions, a problem similarity approach to devising heuristics, and optimal search strategies for speech understanding control. Discussions focus on comparison with existing speech understanding systems, empirical comparisons of the different strategies, analysis of distance function approximation, problem similarity, problems of reasoning about action, search for solution in the reduction system, and relationship between the initial search space and the higher level search space. The book then examines consistency in networks of relations, non-resolution theorem proving, using rewriting rules for connection graphs to prove theorems, and closed world data bases. The manuscript tackles a truth maintenance system, elements of a plan-based theory of speech acts, and reasoning about knowledge and action. Topics include problems in reasoning about knowledge, integration knowledge and action, models of plans, compositional adequacy, truth maintenance mechanisms, dialectical arguments, and assumptions and the problem of control. The selection is a valuable reference for researchers wanting to explore the field of artificial intelligence.Table of ContentsPrefaceAcknowledgmentsChapter 1 / Search and Search RepresentationsOn Representations of Problems of Reasoning About ActionsA Problem Similarity Approach to Devising Heuristics: First ResultsOptimal Search Strategies for Speech-Understanding ControlConsistency in Networks of RelationsThe B* Tree Search Algorithm: A Best-First Proof ProcedureChapter 2 / DeductionNon-Resolution Theorem ProvingUsing Rewriting Rules for Connection Graphs to Prove TheoremsOn Closed World Data BasesA Deductive Approach to Program SynthesisProlegomena to a Theory of Mechanized Formal ReasoningSubjective Bayesian Methods for Rule-Based Inference SystemsChapter 3 / Problem-Solving and PlanningApplication of Theorem Proving to Problem SolvingThe Frame Problem and Related Problems in Artificial IntelligenceLearning and Executing Generalized Robot PlansAchieving Several Goals SimultaneouslyPlanning and Meta-PlanningChapter 4 / Expert Systems and AI ApplicationsAn Experiment in Knowledge-Based Automatic ProgrammingDendral and Meta-Dendral: Their Applications DimensionConsultation Systems for PhysiciansModel Design in the PROSPECTOR Consultant System for Mineral ExplorationThe Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve UncertaintyUsing Patterns and Plans in ChessInteractive Transfer of Expertise: Acquisition of New Inference RulesChapter 5 / Advanced TopicsSome Philosophical Problems from the Standpoint of Artificial IntelligenceThe Logic of FramesEpistemological Problems of Artificial IntelligenceCircumscription - A Form of Non-Monotonic ReasoningReasoning About Knowledge and ActionElements of a Plan-Based Theory of Speech ActsA Truth Maintenance SystemGeneralization as SearchIndex" @default.
• W1551377873 created "2016-06-24" @default.
• W1551377873 creator A5089032031 @default.
• W1551377873 creator A5091863316 @default.
• W1551377873 date "1981-01-01" @default.
• W1551377873 modified "2023-09-23" @default.
• W1551377873 title "Readings in Artificial Intelligence" @default.
• W1551377873 cites W103248075 @default.
• W1551377873 cites W103490075 @default.
• W1551377873 cites W10948978 @default.
• W1551377873 cites W109897293 @default.
• W1551377873 cites W1123419 @default.
• W1551377873 cites W114646640 @default.
• W1551377873 cites W1171100998 @default.
• W1551377873 cites W117774318 @default.
• W1551377873 cites W120713868 @default.
• W1551377873 cites W129913259 @default.
• W1551377873 cites W133833791 @default.
• W1551377873 cites W145832685 @default.
• W1551377873 cites W1481182308 @default.
• W1551377873 cites W1483490063 @default.
• W1551377873 cites W1484222275 @default.
• W1551377873 cites W1484314604 @default.
• W1551377873 cites W1484319462 @default.
• W1551377873 cites W1484780672 @default.
• W1551377873 cites W1485983381 @default.
• W1551377873 cites W1487591965 @default.
• W1551377873 cites W1488207627 @default.
• W1551377873 cites W1488252886 @default.
• W1551377873 cites W1491189356 @default.
• W1551377873 cites W1492160417 @default.
• W1551377873 cites W1493525335 @default.
• W1551377873 cites W1493820687 @default.
• W1551377873 cites W1494027264 @default.
• W1551377873 cites W1495866895 @default.
• W1551377873 cites W1497318790 @default.
• W1551377873 cites W1497606708 @default.
• W1551377873 cites W1497716508 @default.
• W1551377873 cites W1497909406 @default.
• W1551377873 cites W1498806819 @default.
• W1551377873 cites W149943651 @default.
• W1551377873 cites W1503622209 @default.
• W1551377873 cites W1506605879 @default.
• W1551377873 cites W1508965297 @default.
• W1551377873 cites W1509767074 @default.
• W1551377873 cites W151011738 @default.
• W1551377873 cites W1512370804 @default.
• W1551377873 cites W1512426208 @default.
• W1551377873 cites W1512876705 @default.
• W1551377873 cites W1513207501 @default.
• W1551377873 cites W1513551455 @default.
• W1551377873 cites W1513883963 @default.
• W1551377873 cites W1514623078 @default.
• W1551377873 cites W1518136469 @default.
• W1551377873 cites W1518874344 @default.
• W1551377873 cites W1519781045 @default.
• W1551377873 cites W1520514439 @default.
• W1551377873 cites W1521523069 @default.
• W1551377873 cites W1522445996 @default.
• W1551377873 cites W1525482321 @default.
• W1551377873 cites W1531350451 @default.
• W1551377873 cites W153207633 @default.
• W1551377873 cites W1532332428 @default.
• W1551377873 cites W1532737855 @default.
• W1551377873 cites W1532764382 @default.
• W1551377873 cites W1533070959 @default.
• W1551377873 cites W1533473805 @default.
• W1551377873 cites W1536997438 @default.
• W1551377873 cites W1537435730 @default.
• W1551377873 cites W1537436589 @default.
• W1551377873 cites W1540212288 @default.
• W1551377873 cites W1541540802 @default.
• W1551377873 cites W1543519334 @default.
• W1551377873 cites W1545815294 @default.
• W1551377873 cites W1546616265 @default.
• W1551377873 cites W154694026 @default.
• W1551377873 cites W1552704885 @default.
• W1551377873 cites W1554731703 @default.
• W1551377873 cites W155661305 @default.
• W1551377873 cites W1557428995 @default.
• W1551377873 cites W1559427309 @default.
• W1551377873 cites W155951062 @default.
• W1551377873 cites W1560622299 @default.
• W1551377873 cites W1561895795 @default.
• W1551377873 cites W1563004475 @default.
• W1551377873 cites W1569270220 @default.
• W1551377873 cites W1569595873 @default.
• W1551377873 cites W1572073643 @default.
• W1551377873 cites W1572470107 @default.
• W1551377873 cites W1572552461 @default.
• W1551377873 cites W1572972820 @default.
• W1551377873 cites W1573445609 @default.
• W1551377873 cites W1573557135 @default.
• W1551377873 cites W1573923847 @default.
• W1551377873 cites W1574371646 @default.
• W1551377873 cites W1574624514 @default.
• W1551377873 cites W1576632330 @default.
• W1551377873 cites W1578830675 @default.
• W1551377873 cites W1579983340 @default.
• W1551377873 cites W1580710067 @default.

• next