Skip to content

Knowledge Representation And Logic

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Knowledge Representation And Logic.

  • Default logic — A nonmonotonic formal logic that licenses defeasible conclusions when prerequisites hold and their justifications remain consistent with the evolving belief set.