Input-Output Specification

Specification relating a program's inputs and outputs, analogous to illocutionary correctness.

Neighborhood — ranked by edge-count

paper

concept

Illocutionary Acts
associated_with
Speech acts whose success depends only on program state and I/O; distinguished from perlocutionary acts in Elephant framework.

cosine ≥ 0.65 · no typed edge

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.

Input-Output Relations Diagrammaticallymethod0.833
Input-Output Relations as Ordered Conceptsfinding0.830
Diagrammatic encoding of program behavior via concept lattices reveals reachability structure and non-determinism without fixed calculational rules.
Perhaps we will need three levels of specification, internal, input-output and accomplishment.hypothesis0.780
Speculation about specification hierarchy.
Accomplishment Specificationconcept0.779
Specification concerning what a program achieves in the world, analogous to perlocutionary correctness.
Output-truthconcept0.769
The correctness of a model's generated outputs, distinct from the correctness of statements provided as input.
Forward model (output-input model)concept0.768
A model mapping outputs to expected inputs, used in motor control and perception for embodiment.
Communication inputs and outputs are in an I-O language whose sentences are meaningful speech acts approximately in the sense of philosophers and linguists. These include questions, answers, offers, acceptances, declinations, requests, permissions and promises.claim0.756
First key claim in the abstract.
Input-Injectivityconcept0.742
Assumption that DNN layers preserve input information by being injective; key condition for Theorem 1