Statements (36)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
formal semantics
|
| gptkbp:application |
robotics
automated planning cognitive robotics natural language understanding |
| gptkbp:basedOn |
gptkb:first-order_logic
|
| gptkbp:field |
gptkb:artificial_intelligence
gptkb:logic gptkb:knowledge_representation |
| gptkbp:fileExtension |
situation calculus with concurrent actions
situation calculus with exogenous actions situation calculus with knowledge situation calculus with sensing situation calculus with time |
| gptkbp:hasConcept |
gptkb:action
fluent initial situation result function situation successor state axiom |
| gptkbp:hasNotationFor |
Holds(f,s)
Poss(a,s) do(a,s) |
| https://www.w3.org/2000/01/rdf-schema#label |
situation calculus
|
| gptkbp:introduced |
gptkb:John_McCarthy
|
| gptkbp:introducedIn |
1963
|
| gptkbp:numberOfIssues |
frame problem
|
| gptkbp:relatedTo |
gptkb:Golog
gptkb:event_calculus action theory frame problem situation |
| gptkbp:solvedBy |
successor state axioms
|
| gptkbp:usedFor |
reasoning about dynamic worlds
|
| gptkbp:bfsParent |
gptkb:John_McCarthy
|
| gptkbp:bfsLayer |
4
|